package tests;

import syntax.Term;
import syntax.TermArgument;

public class Test {

	public Test(TermArgument taArg, Term tArg, String nArg, boolean vArg) {
		termArgument = taArg;
		term = tArg;
		name = nArg;
		value = vArg;
	}

	final public TermArgument termArgument;

	final public Term term;

	final public String name;

	final public boolean value;
}